Search results for "Surjective function"

showing 10 items of 13 documents

Space-filling vs. Luzin's condition (N)

2013

Let us assume that we are given two metric spaces, where the Hausdorff dimension of the first space is strictly smaller than the one of the second space. Suppose further that the first space has sigma-finite measure with respect to the Hausdorff measure of the corresponding dimension. We show for quite general metric spaces that for any measurable surjection from the first onto the second space, there is a set of measure zero that is mapped to a set of positive measure (both measures are the Hausdorff measures corresponding to the Hausdorff dimension of the first space). We also study more general situations where the measures on the two metric spaces are not necessarily the same and not ne…

28A75 (Primary) 54C10 26B35 28A12 28A20 (Secondary)General Mathematicsta111Hausdorff spaceMathematics::General TopologySpace (mathematics)Functional Analysis (math.FA)Mathematics - Functional AnalysisSurjective functionCombinatoricsSet (abstract data type)Metric spaceMathematics - Classical Analysis and ODEsHausdorff dimensionClassical Analysis and ODEs (math.CA)FOS: MathematicsMathematicsAnnales Academiae Scientiarum Fennicae Mathematica
researchProduct

A non-g-contractible uniformly path connected continuum

1999

Abstract An example of a uniformly path connected, plane continuum P is constructed and proved to admit no continuous surjection onto P homotopic to the constant map. This answers a question of D.P. Bellamy in the negative.

Connected spacePlane (geometry)Continuum (topology)HomotopyMathematics::General TopologyContractible spaceSurjective functionCombinatoricsContinuumUniformly path connected spaceGeometry and TopologyHomotopyg-contractibilityConstant (mathematics)MathematicsTopology and its Applications
researchProduct

Perturbations of surjective convolution operators

2002

Let μ 1 and μ 2 be (ultra)distributions with compact support which have disjoint singular supports. We assume that the convolution operator f → μ 1 *f is surjective when it acts on a space of functions or (ultra)distributions, and we investigate whether the perturbed convolution operator f→ (μ 1 + μ 2 ) * f is surjective. In particular we solve in the negative a question asked by Abramczuk in 1984.

Discrete mathematicsLaplace transformApplied MathematicsGeneral MathematicsDisjoint setsOperator theorySpace (mathematics)ConvolutionSurjective functionsymbols.namesakeDistribution (mathematics)Fourier transformsymbolsMathematicsProceedings of the American Mathematical Society
researchProduct

An extension of the Burrows-Wheeler Transform and applications to sequence comparison and data compression

2005

We introduce a generalization of the Burrows-Wheeler Transform (BWT) that can be applied to a multiset of words. The extended transformation, denoted by E, is reversible, but, differently from BWT, it is also surjective. The E transformation allows to give a definition of distance between two sequences, that we apply here to the problem of the whole mitochondrial genome phylogeny. Moreover we give some consideration about compressing a set of words by using the E transformation as preprocessing.

Discrete mathematicsMultisetBurrows-Wheeler transform; Data Compression; Mitochondrial genome phylogenyBurrows–Wheeler transformMultiplicity (mathematics)Mitochondrial genome phylogenyBurrows-Wheeler transformData CompressionSurjective functionConjugacy classSequence comparisonPreprocessorAlgorithmMathematicsData compression
researchProduct

The surjective hull of a polynomial ideal

2016

The aim of this paper is the study of surjective ideals of homogeneous polynomials between Banach spaces. To do so we define the surjective hull of a polynomial ideal and prove the main properties of this hull procedure. For a more comprehensive theory, new lifting properties of homogeneous polynomials are proved and applied to the description of the surjective hulls of the ideals of I-bounded polynomials and of composition polynomials ideals. Several applications are provided.

Discrete mathematicsPolynomialPure mathematicsIdeal (set theory)Mathematics::Commutative AlgebraGeneral Mathematics010102 general mathematicsBanach spaceComposition (combinatorics)01 natural sciences010101 applied mathematicsSurjective functionHomogeneousHull0101 mathematicsMathematicsMathematische Nachrichten
researchProduct

Butterflies in a Semi-Abelian Context

2011

It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in Grp, with respect to weak equivalences (that is, internal functors which are internally fully faithful and essentially surjective on objects). Monoidal functors can be equivalently described by a kind of weak morphisms introduced by B. Noohi under the name of butterflies. In order to internalize monoidal functors in a wide context, we introduce the notion of internal butterflies between internal crossed modules in a semi-abelian category C, and we show th…

Discrete mathematicsPure mathematicsButterflyFunctorInternal groupoidWeak equivalenceGeneral MathematicsSemi-abelian categoryFunctor categoryContext (language use)Mathematics - Category TheoryBicategory of fractionBicategoryMathematics::Algebraic TopologyWeak equivalence18D05 18B40 18E10 18A40Surjective functionMorphismMathematics::Category TheoryFOS: MathematicsCategory Theory (math.CT)Abelian groupMathematics
researchProduct

Albanese Maps and Fundamental Groups of Varieties With Many Rational Points Over Function Fields

2020

We investigate properties of the Albanese map and the fundamental group of a complex projective variety with many rational points over some function field, and prove that every linear quotient of the fundamental group of such a variety is virtually abelian, as well as that its Albanese map is surjective, has connected fibres, and has no multiple fibres in codimension one.

Fundamental groupPure mathematicsGeneral Mathematics01 natural sciencesSurjective functionMathematics - Algebraic GeometryMathematics::Algebraic Geometry0103 physical sciencesFOS: MathematicsNumber Theory (math.NT)0101 mathematicsAbelian groupAlgebraic Geometry (math.AG)Projective varietyQuotientFunction fieldMathematicsMathematics - Number Theory010102 general mathematics[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG][MATH.MATH-CV]Mathematics [math]/Complex Variables [math.CV]Codimension[MATH.MATH-CV] Mathematics [math]/Complex Variables [math.CV][MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]010307 mathematical physicsVariety (universal algebra)International Mathematics Research Notices
researchProduct

Finiteness properties of pseudo-hyperbolic varieties

2019

Motivated by Lang-Vojta's conjecture, we show that the set of dominant rational self-maps of an algebraic variety over a number field with only finitely many rational points in any given number field is finite by combining Amerik's theorem for dynamical systems of infinite order with properties of Prokhorov-Shramov's notion of quasi-minimal models. We also prove a similar result in the geometric setting by using again Amerik's theorem and Prokhorov-Shramov's notion of quasi-minimal model, but also Weil's regularization theorem for birational self-maps and properties of dynamical degrees. Furthermore, in the geometric setting, we obtain an analogue of Kobayashi-Ochiai's finiteness result for…

Pure mathematicsDynamical systems theoryGeneral Mathematics[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]Dynamical Systems (math.DS)Type (model theory)01 natural sciencesSurjective functionMathematics - Algebraic Geometry0103 physical sciencesFOS: MathematicsNumber Theory (math.NT)0101 mathematicsMathematics - Dynamical Systems[MATH]Mathematics [math]Algebraic Geometry (math.AG)MathematicsConjectureMathematics - Number Theory010102 general mathematicsOrder (ring theory)Algebraic varietyAlgebraic number field[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Regularization (physics)010307 mathematical physics[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]
researchProduct

Cox ring of the generic fiber

2017

Abstract Given a surjective morphism π : X → Y of normal varieties satisfying some regularity hypotheses we prove how to recover a Cox ring of the generic fiber of π from the Cox ring of X. As a corollary we show that in some cases it is also possible to recover the Cox ring of a very general fiber, and finally we give an application in the case of the blowing-up of a toric fiber space.

Pure mathematicsStatistics::TheoryAlgebra and Number TheoryMathematics::Commutative AlgebraFiber (mathematics)Quantitative Biology::Tissues and Organs010102 general mathematics14C20 14Q15 14N25Space (mathematics)01 natural sciencesSurjective functionMathematics - Algebraic GeometryMorphismCorollary0103 physical sciencesFOS: MathematicsFiber spaces010307 mathematical physicsSettore MAT/03 - Geometria0101 mathematicsCox ringCox ringAlgebraic Geometry (math.AG)Mathematics
researchProduct

2021

Abstract We extend the classical Carathéodory extension theorem to quasiconformal Jordan domains (Y, dY ). We say that a metric space (Y, dY ) is a quasiconformal Jordan domain if the completion ̄Y of (Y, dY ) has finite Hausdorff 2-measure, the boundary ∂Y = ̄Y \ Y is homeomorphic to 𝕊1, and there exists a homeomorphism ϕ: 𝔻 →(Y, dY ) that is quasiconformal in the geometric sense. We show that ϕ has a continuous, monotone, and surjective extension Φ: 𝔻 ̄ → Y ̄. This result is best possible in this generality. In addition, we find a necessary and sufficient condition for Φ to be a quasiconformal homeomorphism. We provide sufficient conditions for the restriction of Φ to 𝕊1 being a quasi…

Surjective functionCombinatoricsMetric spaceApplied MathematicsDomain (ring theory)Hausdorff spaceBoundary (topology)Geometry and TopologyQuasicirclePlateau's problemAnalysisHomeomorphismMathematicsAnalysis and Geometry in Metric Spaces
researchProduct